mechanical reasoning system
英 [məˈkænɪkl ˈriːznɪŋ ˈsɪstəm]
美 [məˈkænɪkl ˈriːznɪŋ ˈsɪstəm]
【计】机器推理系统
双语例句
- Leibniz invented binary system and assumed a "universal characteristic", a symbol system that contained all the human thoughts; the" mechanical reasoner "that he invented contains the ideas, namely reasoning is a deduction system based on formal rule.
莱布尼茨发明了二进制表示方法，设想了一种普遍文字，能包含人类全部思想的符号系统；他所提出的机械推理机包含这样的思想，即推理是一个根据形式规则进行的演绎系统。